ER2MD：一种ER模型到多维模型的转换算法

多维模型是数据仓库概念设计不可缺少的工具,将传统数据库实体关系模型直接转换到多维模型,势必在很大程度上缩短数据仓库系统的开发周期.针对数据仓库概念设计需求,在传统数据库基础上,提出一种面向多维模型的转换算法ER2MD.该算法可将满足一定条件的实体关系模型转换到多维模型,产生的多维模型符合广义多维范式,能够确保多维数据库分析计算的有效性,进而有利于物理数据库的设计.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

中国近代军事史研究30年述评

中国近代军事史,按照目前学术界比较一致的看法,其时限界定为1840年至1949年期间。这一阶段,中华大地上充满着外来的侵略和内部的争斗,战争无时无有,无处无有;各类军事力量纷纷登上战争舞台,扮演着各种角色,构成了一幅幅万花筒般的场景。这就为中国近代军事史的研究奠定了基础,创造了条件。建国以来,中国近代军事史研究,就是在这样一种厚实的平台上起步的。从学术研究的层面上看,大抵经历了三个阶段:第一阶段从1949年10月建国之后到1966年5月“文化大革命”开始前。这一阶段主要以史料整理为主,其成果突出表现为一大批中国人民解放军军战史…     

加油机器人操作臂设计及运动学研究

为减少污染和节省人力,使用加油机器人代替人力完成加油工作成为未来发展的必然趋势。为此,专门设计一种加油机器人操作臂的结构形式,在D-H坐标系中建立四自由度加油机器人操作臂的运动学模型,采用变换矩阵方法求解该操作臂正、逆运动学解析表达式,并运用Matlab软件的机器人工具箱对该操作臂正、逆运动学方程进行仿真验证。研究结果证明正、逆方程运动学方程解的正确性以及设计方法的可行性。     

反潜水雷陷阱及其效能模型

针对传统反潜手段的不足,结合水雷武器特点,提出了利用水雷与诱饵相结合,构建反潜水雷陷阱打击潜艇的新思路。以圆弧形反潜水雷陷阱为重点,建立了陷阱的效能计算模型,并根据目标潜艇进入陷阱时的航向、航迹偏差等因素对陷阱打击效能的影响,对陷阱的效能模型进行了修正,以提高模型的适应性。最后,利用陷阱效能模型进行了仿真计算和分析,计算结果表明了这种反潜水雷陷阱的可行性及其效能计算模型的正确性。     

超宽带雷达回波的双谱分析方法

谱分析是雷达信号处理的重要组成部分,对目标分类、特征检测均有重要意义。高阶谱所具有的特殊性质,有助于人们从新的角度对雷达回波进行分析。本文提出了一种双谱分析双（Ｑ,Ｋ）方法。仿真结果表明,本文提出的方法与其它的双谱估计算法相比估计精度更高。最后给出了应用实例     

开展系统化训练,促进新装备形成战斗力

随着高新技术的迅猛发展和我军一大批高新技术装备陆续配发部队,如何发挥新装备的使用效能,使之真正形成战斗力,已成为军队装备建设中一个亟待解决的问题。结合装备建设实际,以系统的观点,阐述了搞好装备人才训练的途径和基本做法,旨在从根本上保证新装备迅速形成战斗力。     

一二八淞沪抗战后的声讨海军风波

在1932年的一二八淞沪抗战中，中国海军尤其是驻京沪海军部队始终置身事外，袖手旁观，与十九路军的英勇抗战形成了鲜明对比，从而引起国人的强烈不满，声讨海军的风波骤然而起，并发展到由政府监察委员出面弹劾海军。国内各界在抨击海军避战的同时，对其平时表现亦多有责难，进而提出了中国应如何建设海军乃至海军存废的质疑。海军方面则反应强烈，对所有指控都公开进行了逐一辩驳，并要求政府查明真相。但最高当局无意主持公道，实际上是放弃了整建海军以备抗日的努力，结果使海军在国防中的地位和在国人心目中的声誉均因此遭到重创。     

雷达干扰效果的Vague集评估方法

雷达干扰效果评估是电子对抗领域的一个重要研究课题.提出用Vague集替代模糊综合评估方法中的隶属度,建立干扰效果的评估指标体系,提出了基于Vague集的雷达干扰效果评估算法,利用Vague集加权距离来判定干扰效果等级.结合实例说明,该方法是可行、有效的.     

普通物理实验CAI的制作设想

普通物理学实验是公共必修课,随着电子技术迅速发展,多媒体已被广泛的运用,使人机交互能力大大提高,它正作为一种重要的教学媒体迅速应用于教学过程中,对促进教学现代化起着十分重要的作用.因此,制作CAI课件使学生由被动学习变主动学习,并能加深学生对实验内容的理解,对实验现象的观察和规范学生的实验操作技能,从而达到有效提高教学质量和教学效率的目的.